// DFATransition.java
public class DFATransition {
    DFAState fromState;
    DFAState toState;
    char transitionSymbol;

    public DFATransition(DFAState fromState, DFAState toState, char transitionSymbol) {
        this.fromState = fromState;
        this.toState = toState;
        this.transitionSymbol = transitionSymbol;
    }
}
